Pallab Dasgupta,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A static verification approach for architectural integration of mixed-signal integrated circuits

Rajdeep Mukhopadhyay, Anvesh Komuravelli, Pallab Dasgupta, S.K. Panda, Siddhartha Mukhopadhyay

Journal:

Integration, the VLSI Journal

Year:

2010

Language:

english

File:

PDF, 550 KB

english, 2010

2

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent

Hazra, Aritra, Mukherjee, Rajdeep, Dasgupta, Pallab, Pal, Ajit, Harer, Kevin M., Banerjee, Ansuman, Mukherjee, Subhankar

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2013

Language:

english

File:

PDF, 504 KB

english, 2013

3

Searching game trees under a partial order

Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar

Journal:

Artificial Intelligence

Year:

1996

Language:

english

File:

PDF, 1.44 MB

english, 1996

4

Agent searching in a tree and the optimality of iterative deepening

Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar

Journal:

Artificial Intelligence

Year:

1994

Language:

english

File:

PDF, 695 KB

english, 1994

5

A correction to “Agent searching in a tree and the optimality of iterative deepening”

Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar

Journal:

Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 229 KB

english, 1995

6

Agent search in uniform b-ary trees: Multiple goals and unequal costs

Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 570 KB

english, 1996

7

The power of first-order quantification over states in branching and linear time temporal logics

Krishnendu Chatterjee, Pallab Dasgupta, P.P Chakrabarti

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 213 KB

english, 2004

8

Min-max Computation Tree Logic

Pallab Dasgupta, P.P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan

Journal:

Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 342 KB

english, 2001

9

[IEEE 2006 Annual IEEE India Conference - New Delhi, India (2006.09.15-2006.09.17)] 2006 Annual IEEE India Conference - Formal Verification of Power Scheduling Policies for Battery Powered Mobile Systems

Ray, Sayak, Dasgupta, Pallab, Chakrabarti, P.P.

Year:

2006

Language:

english

File:

PDF, 8.14 MB

english, 2006

10

[IEEE Computer Soc 18th International Conference on VLSI Design - Kolkata, India (3-7 Jan. 2005)] 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design - Formal methods for analyzing the completeness of an assertion suite against a high-level fault model

Sayanlan Das,, Ansuman Banerjee,, Prasenjit Basu,, Pallab Dasgupta,, Chakrabarti, P.P., Chunduri Rama Mohan,, Fix, L.

Year:

2005

Language:

english

File:

PDF, 128 KB

english, 2005

11

Event propagation for accurate circuit delay calculation using SAT

Roy, Suchismita, Chakrabarti, P. P., Dasgupta, Pallab

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2007

Language:

english

File:

PDF, 483 KB

english, 2007

12

Design intent coverage revisited

Sinha, Arnab, Dasgupta, Pallab, Pal, Bhaskar, Das, Sayantan, Basu, Prasenjit, Chakrabarti, P. P.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2009

Language:

english

File:

PDF, 461 KB

english, 2009

13

Instrumenting AMS assertion verification on commercial platforms

Mukhopadhyay, Rajdeep, Panda, S. K., Dasgupta, Pallab, Gough, John

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2009

Language:

english

File:

PDF, 2.68 MB

english, 2009

14

[ACM Press the 2006 conference - Yokohama, Japan (2006.01.24-2006.01.27)] Proceedings of the 2006 conference on Asia South Pacific design automation - ASP-DAC '06 - Discovering the input assumptions in specification refinement coverage

Basu, Prasenjit, Das, Sayantan, Dasgupta, Pallab, Chakrabarti, P. P.

Year:

2006

Language:

english

File:

PDF, 237 KB

english, 2006

15

A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control

Ghosh, Sumana, Dutta, Souradeep, Dey, Soumyajit, Dasgupta, Pallab

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 838 KB

english, 2017

16

[IEEE 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID) - Pune, India (2018.1.6-2018.1.10)] 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID) - AMS-Miner: Mining AMS Assertions Using Interval Arithmetic

Costa, Antonio Anastasio Bruto da, Dharade, Shriya, Mandal, Sudipa, Dasgupta, Pallab

Year:

2018

Language:

english

File:

PDF, 279 KB

english, 2018

17

[IEEE 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID) - Pune (2018.1.6-2018.1.10)] 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID) - Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components

Mandal, Sudipa, Hazra, Aritra, Dasgupta, Pallab, Chunduri, Rama Mohan

Year:

2018

Language:

english

File:

PDF, 604 KB

english, 2018

18

An automated framework for exploitable fault identification in block ciphers

Saha, Sayandeep, Kumar, Ujjawal, Mukhopadhyay, Debdeep, Dasgupta, Pallab

Journal:

Journal of Cryptographic Engineering

Year:

2019

Language:

english

File:

PDF, 923 KB

english, 2019

19

Benzotrifluoromethyl group-substituted poly(para-phenylenevinylene): Effect on solubility, optical, and electronic properties

Shyambo Chatterjee, Suman Kumar Sen, Samarendra Maji, Barnali Dasgupta, Pallab Banerji, Susanta Banerjee

Journal:

Journal of Applied Polymer Science

Year:

2010

Language:

english

File:

PDF, 390 KB

english, 2010

20

Multiobjective Heuristic Search in AND/OR Graphs

Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar

Journal:

Journal of Algorithms

Year:

1996

Language:

english

File:

PDF, 249 KB

english, 1996

21

V_THR: An Adaptive Load Balancing Algorithm

Pallab Dasgupta, A.K. Majumder, P. Bhattacharya

Journal:

Journal of Parallel and Distributed Computing

Year:

1997

Language:

english

File:

PDF, 173 KB

english, 1997

22

A Heuristic for the Maximum Processor Requirement for Scheduling Layered Task Graphs with Cloning

Dibyendu Das, Pallab Dasgupta, P.P Das

Journal:

Journal of Parallel and Distributed Computing

Year:

1998

Language:

english

File:

PDF, 311 KB

english, 1998

23

Some results on Parametric Temporal Logic

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

Journal:

Information Processing Letters

Year:

2011

Language:

english

File:

PDF, 152 KB

english, 2011

24

Bounded delay timing analysis and power estimation using SAT

Suchismita Roy, P.P. Chakrabarti, Pallab Dasgupta

Journal:

Microelectronics Journal

Year:

2010

Language:

english

File:

PDF, 234 KB

english, 2010

25

BUSpec: A framework for generation of verification aids for standard bus protocol specifications

Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P.P. Chakrabarti

Journal:

Integration, the VLSI Journal

Year:

2007

Language:

english

File:

PDF, 380 KB

english, 2007

26

Quantified Computation Tree Logic

A.C. Patthak, I. Bhattacharya, A. Dasgupta, Pallab Dasgupta, P.P. Chakrabarti

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 109 KB

english, 2002

27

Agreement under faulty interfaces

Pallab Dasgupta

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 493 KB

english, 1998

28

A WLAN security management framework based on formal spatio-temporal RBAC model

P. Bera, S. K. Ghosh, Pallab Dasgupta

Journal:

Security and Communication Networks

Year:

2011

Language:

english

File:

PDF, 5.83 MB

english, 2011

29

Min-max event-triggered computation tree logic

Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka

Journal:

Year:

2002

Language:

english

File:

PDF, 116 KB

english, 2002

30

Utility of pathmax in partial order heuristic search

Pallab Dasgupta, P.P Chakrabarti, S.C DeSarkar

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 508 KB

english, 1995

31

A Branching Time Temporal Framework for Quantitative Reasoning

Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti

Journal:

Journal of Automated Reasoning

Year:

2003

Language:

english

File:

PDF, 197 KB

english, 2003

32

Heuristic search strategies for multiobjective state space search

Pallab Dasgupta, P P Chakrabarti, S C Desarkar

Journal:

Year:

1996

Language:

english

File:

PDF, 1.62 MB

english, 1996

33

[IEEE 2010 IEEE Students Technology Symposium (TechSym) - Kharagpur, India (2010.04.3-2010.04.4)] 2010 IEEE Students Technology Symposium (TechSym) - Auto-generation of ams behavioral models in different languages from hybrid automata

Ain, Antara, Dasgupta, Pallab

Year:

2010

Language:

english

File:

PDF, 335 KB

english, 2010

34

Formal Verification of Architectural Power Intent

Hazra, Aritra, Goyal, Sahil, Dasgupta, Pallab, Pal, Ajit

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

2013

Language:

english

File:

PDF, 1.10 MB

english, 2013

35

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Formal methods for coverage analysis of architectural power states in power-managed designs

Hazra, Aritra, Dasgupta, Pallab, Banerjee, Ansuman, Harer, Kevin

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012

36

SAT based timing analysis for fixed and rise/fall gate delay models

Suchismita Roy, P.P. Chakrabarti, Pallab Dasgupta

Journal:

Integration, the VLSI Journal

Year:

2012

Language:

english

File:

PDF, 319 KB

english, 2012

37

Cohesive Coverage Management: Simulation Meets Formal Methods

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti

Journal:

Journal of Electronic Testing

Year:

2012

Language:

english

File:

PDF, 602 KB

english, 2012

38

A fuzzy real-time temporal logic

Mukherjee, Subhankar, Dasgupta, Pallab

Journal:

International Journal of Approximate Reasoning

Year:

2013

Language:

english

File:

PDF, 1.15 MB

english, 2013

39

[IEEE 2013 26th International Conference on VLSI Design: concurrently with the 12th International Conference on Embedded Systems - Pune, India (2013.01.5-2013.01.10)] 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems - Formal Verification of Hardware / Software Power Management Strategies

Mukherjee, Rajdeep, Dasgupta, Pallab, Pal, Ajit, Mukherjee, Subhankar

Year:

2013

Language:

english

File:

PDF, 259 KB

english, 2013

40

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications

Hazra, Aritra, Ghosh, Priyankar, Vadlamudi, S. G., Chakrabarti, P. P., Dasgupta, Pallab

Journal:

IEEE Embedded Systems Letters

Year:

2013

Language:

english

File:

PDF, 912 KB

english, 2013

41

Time-budgeting: a component based development methodology for real-time embedded systems

Manoj G. Dixit, S. Ramesh, Pallab Dasgupta

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 972 KB

english, 2014

42

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software

Prabhu M, Santhosh, Hazra, Aritra, Dasgupta, Pallab

Journal:

IEEE Embedded Systems Letters

Year:

2013

Language:

english

File:

PDF, 552 KB

english, 2013

43

Post-silicon debugging of PMU integration errors using behavioral models

Ain, Antara, Mukherjee, Subhankar, Dasgupta, Pallab, Mukhopadhyay, Siddhartha

Journal:

Integration, the VLSI Journal

Year:

2013

Language:

english

File:

PDF, 1.02 MB

english, 2013

44

[IEEE 2009 International Conference on Industrial and Information Systems (ICIIS) - Peradeniya, Sri Lanka (2009.12.28-2009.12.31)] 2009 International Conference on Industrial and Information Systems (ICIIS) - An end to end correctness verification approach for application specific usage control

Rajkumar, P.V., Ghosh, S.K., Dasgupta, Pallab

Year:

2009

Language:

english

File:

PDF, 709 KB

english, 2009

45

[IEEE 2009 Annual IEEE India Conference - Ahmedabad, India (2009.12.18-2009.12.20)] 2009 Annual IEEE India Conference - Incremental Verification Techniques for an Updated Architectural Specification

Mitra, Srobona, Ghosh, Priyankar, Dasgupta, Pallab, Chakrabarti, Partha P.

Year:

2009

Language:

english

File:

PDF, 125 KB

english, 2009

46

[IEEE 2009 22nd International Conference on VLSI Design: concurrently with the 8th International Conference on Embedded Systems - New Delhi, India (2009.01.5-2009.01.9)] 2009 22nd International Conference on VLSI Design - Inline Assertions - Embedding Formal Properties in a Test Bench

Hazra, Aritra, Ghosh, Priyankar, Dasgupta, Pallab, Chakrabarti, Partha Pratim

Year:

2009

Language:

english

File:

PDF, 264 KB

english, 2009

47

[IEEE 2013 26th International Conference on VLSI Design: concurrently with the 12th International Conference on Embedded Systems - Pune, India (2013.01.5-2013.01.10)] 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems - Model Checking Controllers with Predicate Inputs

M., Santhosh Prabhu, Dasgupta, Pallab

Year:

2013

Language:

english

File:

PDF, 309 KB

english, 2013

48

[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (2004.06.23-2004.06.25)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - The BUSpec platform for automated generation of verification aids for standard bus protocols

Bhaskar Pal,, Ansuman Banerjee,, Pallab Dasgupta,, Chakrabarti, P.P.

Year:

2004

Language:

english

File:

PDF, 1.65 MB

english, 2004

49

Counterexample Ranking Using Mined Invariants

Mitra, Srobona, Banerjee, Ansuman, Dasgupta, Pallab, Kumar, Harish

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2013

Language:

english

File:

PDF, 989 KB

english, 2013

50

Formal Guarantees for Localized Bug Fixes

Mitra, Srobona, Banerjee, Ansuman, Dasgupta, Pallab, Ghosh, Priyankar, Kumar, Harish

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2013

Language:

english

File:

PDF, 3.68 MB

english, 2013